@CHARSET "ISO-8859-1";

a.menubuttons,a.menubuttons:visited {
	margin: 5px;
	padding: 5px;
	font-size: 14pt;
	text-decoration: none;
	color: white;
}

a.menubuttons:hover {
	text-decoration: underline;
	background-color: black;
}